Llistar TÃtols per Autor "Cané Salamià , Marc"
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
1 setembre 2019 | Eina educativa de suport per l’estudi de resoledors SAT | Cané Salamià , Marc |
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
1 setembre 2019 | Eina educativa de suport per l’estudi de resoledors SAT | Cané Salamià , Marc |
SAT Solució de problemes Universitat de Girona Backjumping Problem solving Clause learning Problema de satisfactibilitat booleana
Coll, Jordi Villaret Auselle, Mateu Cané Salamià , Marc Universitat de Girona. Escola Politècnica Superior